مبرهنة كوك وليفين بالانجليزي

• cook–levin theorem

• "مبرهنة" بالانجليزي    assertion; claim; proposition; theorem
• "كوك" بالانجليزي    v. coke
• "مبرهنة ثيفينين" بالانجليزي    thévenin's theorem
• "مبرهنة لينيك" بالانجليزي    linnik's theorem
• "مبرهنة رول" بالانجليزي    rolle's theorem
• "مبرهنة ستوكس" بالانجليزي    generalized stokes theorem
• "مبرهنة لوكاس" بالانجليزي    lucas's theorem
• "مبرهنة فيرما حول مجموع مربعين" بالانجليزي    fermat's theorem on sums of two squares
• "مبرهنة" بالانجليزي    assertion  claim  proposition  theorem
• "مبرهنة شيفا" بالانجليزي    ceva's theorem
• "مبرهنة نيفن" بالانجليزي    niven's theorem
• "مبرهنة فيفياني" بالانجليزي    viviani's theorem
• "مبرهنة مينكوفسكي" بالانجليزي    minkowski's theorem
• "مبرهنة بيكار ليندلوف" بالانجليزي    picard–lindelöf theorem
• "مبرهنة شتاينر-ليموس" بالانجليزي    steiner–lehmus theorem
• "مبرهنة تشين" بالانجليزي    chen's theorem
• "مبرهنة غرين" بالانجليزي    green's theorem
• "مبرهنة غرين-تاو" بالانجليزي    green–tao theorem
• "مبرهنة إقليدس" بالانجليزي    euclid's theorem
• "مبرهنة طاليس" بالانجليزي    intercept theorem
• "مبرهنة كايلي" بالانجليزي    cayley's theorem
• "مبرهنة ليستر" بالانجليزي    lester's theorem
• "مبرهنة مورلي" بالانجليزي    morley's trisector theorem
• "براهين مبرهنة فيرما حول مجموع مربعين" بالانجليزي    proofs of fermat's theorem on sums of two squares
• "مبرهنة أبيل-روفيني" بالانجليزي    abel–ruffini theorem